類型推理算法 limited inference algorithm: 有限推理算法type inference: hindley-milner類型推論; 類型推斷; 類型推論closed type algorithm: 封閉型算法open type algorithm: 開放型算法by inference: 根據(jù)推理, 推論下載手機詞典可隨時隨地查詞查翻譯